$\vdash$  $\forall$$T$:Type, $n$:$\mathbb{N}$, $x$:$T$, $L$:($T$ List). ($x$ $\in$ nth\_tl($n$;$L$)) $\Rightarrow$ ($x$ $\in$ $L$)